Dynamic Typing in a Statically Typed Language